首页> 外文OA文献 >Semantics and the objects of assertion

【2h】

Semantics and the objects of assertion

机译：语义和断言的对象

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Ninan, Dilip;
展开▼
作者单位

展开▼
年度 2011
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Semantics and the objects of assertion [J] . Dilip Ninan Linguistics and Philosophy . 2010,第5期

机译：语义和断言的对象
2. Ontology-driven relational query formulation using the semantic and assertional capabilities of OWL-DL [J] . K. Munir, M. Odeh, R. McClatchey Knowledge-Based Systems . 2012,第期

机译：使用OWL-DL的语义和断言功能的本体驱动关系查询表述
3. Engineering a Sound Assertion Semantics for the Verifying Compiler [J] . Chalin P. Software Engineering, IEEE Transactions on . 2010,第2期

机译：为验证编译器设计声音断言语义
4. USING CORRESPONDENCE ASSERTIONS TO SPECIFY THE SEMANTICS OF VIEWS IN AN OBJECT-RELATIONAL DATA WAREHOUSE [C] . Valeria Magalhaes Pequeno, Joaquim Nunes Aparicio International Conference on Enterprise Information Systems . 2005

机译：使用通信断言指定对象关系数据仓库中的视图语义
5. OntoCompare: Assertion based comparison of ontologies on the Semantic Web [D] . Vishwanath, Kartik 2008

机译：OntoCompare：语义网上基于断言的本体比较
6. Using Empiric Semantic Correlation to Interpret Temporal Assertions in Clinical Texts [O] . George Hripcsak, Noémie Elhadad, Yueh-Hsia Chen, 2009

机译：使用经验语义相关性来解释临床文本中的时间断言
7. On the Connection between Semantic Content and the Objects of Assertion [O] . Una Stojnić 2017

机译：关于语义内容与断言对象之间的联系
8. Testability-Based Assertion Placement Tool for Object-Oriented Software [R] . Voas, J., Schmid, M., Schatz, M., 1998

机译：面向对象软件的基于可测试性的断言放置工具

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号